(3R,4S)-tert-butyl 3,4-dihydroxypyrrolidine-1-carboxylate [ 186393-22-6 ]