1-Pyrrolidinecarboxylic acid,3-[[(1,1-dimethylethyl)dimethylsilyl]oxy]-4-formyl-, 1,1-dimethylethylester, (3R,4S)-