¿De qué club fichó el Real Madrid al delantero Cholo?