1-prop-2-ynylpiperidin-2-one