(2S,3S,4S)-1-(methoxycarbonyl)-4-(2-methyl-1,3-dioxolan-2-yl)-3-(2-propenyl)pyrrolidine-2-methanol