¿Quién fue el primer campeón olímpico español de 1500 metros lisos?