AIDS-171271 AIDS171271 Piperazine, 4-benzoyl-1-[1,2-dioxo-2-[4-(propylthio)-1H-pyrrolo[2,3-b]pyridin-3-yl]ethyl]-2-methyl-, (2R)-