1-Piperidinecarboxylic acid,3-ethynyl-,1,1-dimethylethyl ester