1,8-Dimethyl-5,8-dihydro-2,4,6,7(1H,3H)-pteridinetetrone AIDS-125733 AIDS125733 Evitol forte NSC82263