1-Pyrrolidinepentanoic acid, 2-[[[(1S)-3,3-difluoro-1-[[[2-(1H-indol-3-yl)ethyl]amino]carbonyl]propyl]amino]carbonyl]-g,d-dioxo-4-phenyl-b-3-thienyl-, (4S)- and 1-pyrrolidinepentanoic acid, 2-[[[(1S)-3,3-difluoro-1-[[[2-(1H-indol-3-yl)ethyl]amino]carbonyl]propyl]amino]carbonyl]-g,d-dioxo-4-phenyl-a-3-thienyl-, (4S)- AIDS-171134 AIDS171134