1-Pyrrolidinecarboxylic acid,2-[[[(1,1-dimethylethyl)dimethylsilyl]oxy]methyl]-3-methyl-4-[(methylsulfonyl)oxy]-, 2-propenyl ester