1-Pyrrolidinebutanoic acid, 2-[[[(1S)-1-[[[2-(4-carboxy-2,6-difluorophenyl)ethyl]amino]carbonyl]-3,3-difluoropropyl]amino]carbonyl]-g-oxo-4-phenyl-, (2S,4S)- AIDS-171129 AIDS171129