La Fórmula 1 está de luto por Tony Brooks