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