1-Pyrrolidinecarboxylic acid,4-[[(1,1-dimethylethyl)diphenylsilyl]oxy]-2-ethynyl-, 1,1-dimethylethylester, (2R,4R)-