AIDS-133707 AIDS133707 Dithieno[2,3-b:3,4-d]pyridine NSC630077