HIV reservoirs and immune surveillance evasion cause the failure of structured treatment interruptions: a computational study - E. Mancini; F. Gastiglione; M. Bernaschi; A. de Luca; P. M. A. Sloot (PLoS ONE, 2012)