(3R,4R)-tert-butyl 3-(tert-butoxycarbonyl)-4-hydroxypyrrolidine-1-carboxylate [ 429673-85-8 ]