In this paper, we propose an optimal control problem for an HIV infection model with cellular and humoral immune responses, logistic growth of uninfected cells, cell-to-cell spread, saturated infection, and cure rate. The model describes the interaction between uninfected cells, infected cells, free viruses, and cellular and humoral immune responses. We use two control functions in our model to show the effectiveness of drug therapy on inhibiting virus production and preventing new infections. We apply Pontryagin maximum principle to study these two control functions. Next, we simulate the role of optimal therapy in the control of the infection by numerical simulations and AMPL software. [ABSTRACT FROM AUTHOR]