1-Pyrrolidinecarboxylic acid, 2-ethynyl-4-fluoro-, 1,1-dimethylethyl ester,(2S,4S)- [ 833473-87-3 ]