Here we present a mathematical model of dual-strain R5 and X4 HIV in vivo dynamics and show that CCR5 inhibitors can accelerate the emergence of X4 virus and immunodeficiency. This evidence concerns the gene CCR5 and immunodeficiency disease.