Frequency of the CCR5-Δ32 Mutation in the Atlantic Island Populations of Madeira, the Azores, Cabo Verde, and São Tomé e Príncipe