2-Methyl-3-propyl-5,8-quinoxalinedione AIDS-126839 AIDS126839 NSC128839