1,3-Dioxolane, 2,2-diphenyl-4-(1-propionyl-2-piperidyl)-, alpha- JH7650000 Piperidine, 2-(2,2-diphenyl-1,3-dioxolan-4-yl)-1-propionyl-, alpha- alpha-2,2-Diphenyl-4-(1-propionyl-2-piperidyl)-1,3-dioxolane