1-prop-2-enylpiperidin-2-one