A mathematical model of HIV-1 infection including the saturation effect of healthy cell proliferation