tert-butyl (2S,4S)-4-hydroxy-2-(hydroxymethyl)pyrrolidine-1-carboxylate