AIDS-171133 AIDS171133 Benzoic acid, 4-[2-[[(2S)-2-[[[(2S,4S)-1-[1,2-dioxo-3-(2-thienyl)propyl]-4-phenyl-2-pyrrolidinyl]carbonyl]amino]-4,4-difluoro-1-oxobutyl]amino]ethyl]-3,5-difluoro-