4,7-Dinitro-9-oxoxanthene-2-carboxylic acid AIDS-070084 AIDS070084 Di-/trinitroxanthone