2-Pyrrolidinecarboxamide, N-[(1S)-1-[[[2-[4-(4,5-dihydro-5-oxo-1,2,4-oxadiazol-3-yl)phenyl]ethyl]amino]carbonyl]-3,3-difluoropropyl]-1-[(2S)-2-hydroxy-3-methyl-1-oxobutyl]-4-phenyl-, (2S,4S)- AIDS-171140 AIDS171140