Antiviral therapy widely used in HIV treatment has obtained some achievements in public health. In this study, an HIV infection dynamic mathematical model is considered and three types of the control strategy for this model are designed. On the basis of the Lyapunov theory, we propose three main theorems in which three types of the control strategy for drug treatments u1(t) or/and u2 (t) are designed to push all states to the infection-free equilibrium point E1. Theorem 1 or Theorem 2 proposes the monotherapy with u1 (t) only or with u2 (t) only. The combination therapy with u1(t) and u2 (t) together is constructed in Theorem 3. In these three theorems, u1(t) or/and u2 (t) can be a function of states or a fixed constant within a certain range. Finally, there are several simulation results to illustrate that the proposed controls are effective to treat the HIV infection. In the simulation section, there is a detailed discussion about the state responses with the proposed three types of control strategy for drug treatments.