(2R)-2-[(3S,4S)-3-[(4-{1-Ethyl-3-[4-(methylsulfonyl)benzyl]-1H-pyrazol-5-yl}piperidin-1-yl)methyl]-4-(3-fluorophenyl)pyrrolidin-1-yl]-3,3-dimethylbutanoic acid AIDS-193234 AIDS193234