(2S,5S)-N-Boc-5-ethylpyrrolidine-2-carboxylic acid [ 847943-29-7 ]