Synthesis and anti-HIV activity of arylpiperazinyl fluoroquinolones: a new class of anti-HIV agents.