Design, synthesis of new β-carboline derivatives and their selective anti-HIV-2 activity.