6,7-Dihydro-4H-thieno[3,2-b]azepine-5,8-dione AIDS-137271 AIDS137271 NSC641165