¿Qué presidente del gobierno español fue asesinado por un comando de ETA en 1973 (nombre completo)?