(2R)-Cyclohexyl[(3S,4S)-3-({4-[1-ethyl-4-(2-phenylethyl)-1H-pyrazol-3-yl]piperidin-1-yl}methyl)-4-phenylpyrrolidin-1-yl]acetic acid AIDS-193303 AIDS193303