1-Benzyl-3-(tert-butoxycarbonylamino)pyrrolidine-3-carboxylic acid