(2R)-((3S,4S)-3-{[4-(5-Benzylisoxazol-3-yl)piperidin-1-yl]methyl}-4-phenylpyrrolidin-1-yl)(cyclohexyl)acetic acid AIDS-193307 AIDS193307