tert-butyl 4-prop-2-ynylpiperidine-1-carboxylate