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