Synthesis and biological activity of novel 1H,3H-thiazolo[3,4- a] benzimidazoles: non-nucleoside human immunodeficiency virus type 1 reverse transcriptase inhibitors