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