In this paper, we study a mathematical model that describes the Human Immunodeficiency Virus (HIV) pathogenesis with Cytotoxic T Lymphocytes (CTL) response. This model includes the cure of infected cells, two saturated rates describing viral infection, CTL proliferation and two treatments. These latter represent the efficiency of drug treatment in inhibiting viral production and preventing new infections. First, we derive the positivity and boundedness of solutions for nonnegative initial data, which is consistent with the biological studies. Furthermore, we prove the existence of the optimal control pair, and its characterization is obtained by using the Pontryagin's maximum principle. Finally, the optimality system is derived and illustrated by a numerical example. The obtained results show that the optimal treatment strategies reduce the viral load and then increase the uninfected CD4 + T cells as well as cytotoxic T-lymphocyte immune response, this improves the patient life quality.