1-Pyrrolidinecarboxylic acid,4-[[(1,1-dimethylethyl)dimethylsilyl]oxy]-2-[(1E)-3-ethoxy-3-oxo-1-propen-1-yl]-, 1,1-dimethylethyl ester, (2R,4S)-rel-