Gene therapy of T helper cells in HIV infection: Mathematical model of the criteria for clinical effect