Synthesis of 9-substituted derivatives of berberine as anti-HIV agents.