(12S,7aS,13R)-12-Phenyl-13-{[4-(3-phenylpropyl)piperidyl]methyl}spiro[cyclohexane-1,2'-perhydro-3'-oxapyrrolizine] AIDS-122228 AIDS122228 Isoxazolidine deriv