AIDS-138916 AIDS138916 Ethyl 6-hydroxy-2-oxo-3-phenyl-2,3-dihydrothieno[2,3-d][1,3]thiazole-5-carboxylate NSC646667