El Real Madrid ficha al portero Diego López