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