6-aminoquinolones as new potential anti-HIV agents