Quinolones as potential anti HIV-1 agents targeted at Tat/TAR recognition