Mathematical analysis of delay differential equation models of HIV-1 infection