benzyl (3R,4R)-3-(hydroxymethyl)-4-[(2-methylpropan-2-yl)oxycarbonylamino]pyrrolidine-1-carboxylate