Stochastic modelling of the eradication of the HIV-1 infection by stimulation of latently infected cells in patients under highly active anti-retroviral therapy