AIDS-122229 AIDS122229 Isoxazolidine deriv N-{1-[((8S,7aS,7R)-8-Phenylspiro[cyclohexane-1,6'-perhydro-5'-oxapyrrolizine]-7-yl)methyl](4-piperidyl)}-N-ethyl(phenylmethoxy)carboxamide