(2S,6S,7aS,7R)-2,6-Diphenyl-7-{[4-(3-phenylpropyl)piperidyl]methyl}perhydro-3-oxapyrrolizine AIDS-122220 AIDS122220 Isoxazolidine deriv