4-(1,4-Dihydroxy-3,6,7-trimethyl-1.lambda.~5~,4.lambda.~5~-quinoxalin-2-yl)-N-(2-isopropylphenyl)-2,4-dioxobutanamide AIDS-133775 AIDS133775 NSC630342