3a,8a-Dihydroxy-1,3,3a,8a-tetrahydroindeno[1,2-d]imidazole-2,8-dione AIDS-136595 AIDS136595 NSC638442