AIDS-169745 AIDS169745 Piperazine, 1-benzoyl-4-[2-[1-(cyanomethyl)-4,7-difluoro-1H-indol-3-yl]-1,2-dioxoethyl]-