In this paper, a mathematical model for HIV-1 infection with antibody, cytotoxic T-lymphocyte immune responses and Beddington-DeAngelis functional response is investigated. The stability of the infection-free and infected steady states is investigated. The basic reproduction number R0 is identified for the proposed system. If R0 < 1, then there is an infection-free steady state, which is locally asymptotically stable. Further, the infected steady state is locally asymptotically stable for R0 > 1 in the absence of immune response delay. We use Nyquist criterion to estimate the length of the delay for which stability continues to hold. Also the existence of the Hopf bifurcation is investigated by using immune response delay as a bifurcation parameter. Numerical simulations are presented to justify the analytical results. © 2014 John Wiley and Sons, Ltd.