(2S, 4R)-1-(t-butoxycarbonyl)-4-hydroxy-2-pyrrolidinecarboxylic acid