Optimal control of an HIV infection model with logistic growth, cellular and homural immune response, cure rate and cell-to-cell spread