(2R,3S)-2-[(3S,4S)-3-({4-[3-(1,3-Benzodioxol-5-ylmethyl)-1-ethyl-1H-pyrazol-5-yl]piperidin-1-yl}methyl)-4-(3-fluorophenyl)pyrrolidin-1-yl]-3-methylpentanoic acid AIDS-193195 AIDS193195