1-ethylpyrrolidine-3-carboxylic acid