AIDS-126142 AIDS126142 Ethyl 7-hydroxy-5-methyl-6-oxo-5,6,7,8-tetrahydro-7-pteridinecarboxylate NSC99412