However, both homozygous and heterozygous CCR5-edited F1 infants are relevant for modeling human HIV infection because CCR5∆32 heterozygous individuals have delayed disease progression. Here, CCR5 is linked to HIV infectious disease.