AIDS-169558 AIDS169558 Piperazine, 1-benzoyl-4-[1,2-dioxo-2-(4,5,6,7-tetrafluoro-1H-indol-3-yl)ethyl]-