1,3-Dioxolane, 2-phenyl-4-(2-piperidyl)-2-(2-thienyl)-, hydrochloride, alpha- JI4260000 Piperidine, 2-(phenyl-2-(2-thienyl)-1,3-dioxolan-4-yl)-, hydrochloride, alpha- alpha-2-Phenyl-4-(2-piperidyl)-2-(2-thienyl)-1,3-dioxolane hydrochloride