In this paper, a mathematical model for HIV-1 infection with intracellular delay and Beddington-DeAngelis functional response is investigated. We obtain a necessary and sufficient condition for the global stability of the infection-free equilibrium and give some sufficient conditions for the local stability of the infected equilibrium.