Piperidine, 1-(2-methyl-1-oxo-2-propenyl)- [ 13886-05-0 ]