3a,8a-Dihydroxy-1,3-dimethyl-1,3,3a,8a-tetrahydroindeno[1,2-d]imidazole-2,8-dione AIDS-136573 AIDS136573 NSC638233