AIDS-122230 AIDS122230 Isoxazolidine deriv N-{1-[((8S,7aS,7R)-8-Phenylspiro[cyclohexane-1,6'-perhydro-5'-oxapyrrolizine]-7-yl)methyl](4-piperidyl)}[(4-nitrophenyl)methoxy]-N-prop-2-enylcarboxamide