(2S)-1-ethylpyrrolidine-2-carboxylic acid