(2R,5S)-5-(benzyloxymethyl)-1-(tert-butoxycarbonyl)pyrrolidine-2-carboxylic acid