(2R)-Cyclohexyl((3S,4S)-3-{[4-(1-ethyl-3-phenyl-1H-pyrazol-5-yl)piperidin-1-yl]methyl}-4-phenylpyrrolidin-1-yl)acetic acid AIDS-193308 AIDS193308