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