(2S,4R)-4-(benzoyloxy)-1-(tert-butoxycarbonyl)pyrrolidine-2-carboxylic acid