AIDS-171232 AIDS171232 Piperazine, 4-benzoyl-2-methyl-1-[2-[7-oxido-4-(propylthio)-1H-pyrrolo[2,3-b]pyridin-3-yl]-1,2-dioxoethyl]-, (2R)-