3-Piperidinol, 1-methyl-|Huagongshe