Gravar-mail: Dissociation of HIV-1 from follicular dendritic cells during HAART: Mathematical analysis