¿Quién hizo el Hospital 12 de Octubre?