3,8-Dimethyl-5,8-dihydro-2,4,6,7(1H,3H)-pteridinetetrone AIDS-125771 AIDS125771 NSC83955