AIDS-144077 AIDS144077 Ethyl 5-((ethoxycarbonyl)oxy)-10H-thieno[2,3-a]carbazole-10-carboxylate NSC666119