tert-butyl (2R,4R)-2-(fluoromethyl)-4-hydroxypyrrolidine-1-carboxylate