4-Piperidone propylene ketal (HCID 12954117)|Huagongshe