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