AIDS-169730 AIDS169730 Piperazine, 1-benzoyl-4-[1,2-dioxo-2-[1-(2-propynyl)-1H-indol-3-yl]ethyl]-