AIDS-122221 AIDS122221 Isoxazolidine deriv N-{1-[((2S,6S,7aS,1R)-2,6-Diphenylperhydro-5-oxapyrrolizinyl)methyl](4-piperidyl)}-N-ethyl(phenylmethoxy)carboxamide