(2R)-Cyclohexyl[(3S,4S)-3-({4-[1-ethyl-3-(pyridin-3-ylmethyl)-1H-pyrazol-5-yl]piperidin-1-yl}methyl)-4-(3-fluorophenyl)pyrrolidin-1-yl]acetic acid AIDS-193273 AIDS193273