(2R)-2-[(3S,4S)-3-[(4-{3-[4-(Cyclopropyloxy)benzyl]-1-ethyl-1H-pyrazol-5-yl}piperidin-1-yl)methyl]-4-(3-fluorophenyl)pyrrolidin-1-yl]-3,3-dimethylbutanoic acid AIDS-193242 AIDS193242