2-Ethyl-1-(3-methyl-1-oxo-2-butenyl)piperidine 95524-59-7 AI3-36175-Ga Piperidine, 2-ethyl-1-(3-methyl-1-oxo-2-butenyl)-