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