Una mutación del gen CCR5, conocida como "Delta 32",