3,7-Dihydroxy-4,9-dinitro-2,6-anthraquinoedisulfonic acid, tetrapotassium salt AIDS-019523 AIDS019523