AIDS-122225 AIDS122225 Isoxazolidine deriv N-{1-[((1S,6S,7aS,2R)-1,6-Diphenylperhydro-5-oxapyrrolizin-2-yl)methyl](4-piperidyl)}-N-ethyl(phenylmethoxy)carboxamide