(2S,6S,7aS,7R)-2,6-Diphenyl-7-[(4-phenylpiperidyl)methyl]perhydro-3-oxapyrrolizine AIDS-122219 AIDS122219 Isoxazolidine deriv