Benzimidazole derivatives: role of cyclofunctionalization on selectivity against HIV-1 or HIV-2