3,5-Bis(1,3-benzodioxol-5-ylmethylene)-1-methyl-4-piperidinone 4-Piperidinone, 3,5-bis(1,3-benzodioxol-5-ylmethylene)-1-methyl- 4317-88-8