77251-46-8 AI3-37224 Piperidine, 1-(3-cyclohexen-1-ylcarbonyl)-1,2,3,6-tetrahydro- (9CI)