1-methyl-3-prop-2-enylpiperidin-2-one