1-(tert-butoxycarbonyl)pyrrolidine-3-carboxylic acid