2-isopropyl-4-oxopiperidinium InChI=1/C8H15NO/c1-6(2)8-5-7(10)3-4-9-8/h6,8-9H,3-5H2,1-2H3/p+ piperidinium, 2-(1-methylethyl)-4-oxo-