1,4-Dihydrothieno[3,4-b]quinolin-9(3H)-one 28237-99-2 AIDS-127207 AIDS127207 NSC149724