AIDS-171220 AIDS171220 Piperazine, 4-benzoyl-1-[1,2-dioxo-2-(1H-pyrrolo[2,3-b]pyridin-3-yl)ethyl]-2-ethyl-