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