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