AIDS-122226 AIDS122226 Isoxazolidine deriv N-{1-[((1S,6S,7aS,2R)-1,6-Diphenylperhydro-5-oxapyrrolizin-2-yl)methyl](4-piperidyl)}[(4-nitrophenyl)methoxy]-N-prop-2-enylcarboxamide