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