9,10-Dihydro-9,10-dioxo-3-phenanthrene sulfonic acid, potassium salt AIDS-018321 AIDS018321