Quinobene, a new potent anti-HIV agent.