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