Evolutionary analysis identifies an MX2 haplotype associated with natural resistance to HIV-1 infection