(2R)-Cyclohexyl[(3S,4S)-3-phenyl-4-({4-[4-(2-phenylethyl)-1-propyl-1H-pyrazol-3-yl]piperidin-1-yl}methyl)pyrrolidin-1-yl]acetic acid AIDS-193305 AIDS193305