1-tert-butyl 2-methyl (2R,4R)-4-allyloxypyrrolidine-1,2-dicarboxylate