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