(12S,7aS,13R)-12-Phenyl-13-[(4-phenylpiperidyl)methyl]spiro[cyclohexane-1,2'-perhydro-3'-oxapyrrolizine] AIDS-122227 AIDS122227 Isoxazolidine deriv