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