(R)-2-((benzyloxy)methyl)-1-(tert-butoxycarbonyl)pyrrolidine-2-carboxylic acid