Text this: Mathematical models of coreceptor usage and a dendritic cell-based vaccine during HIV-1 infection