HIV-1 RT inhibitors containing a cyclofunctionalized benzimidazole system