(2R,4S)-4-Alloc-amino-1-Fmoc-Pyrrolidine-2-carboxylic acid