3a,8a-Dihydroxy-1-methyl-1,3,3a,8a-tetrahydroindeno[1,2-d]imidazole-2,8-dione AIDS-136590 AIDS136590 NSC638428