Formula 1 mourns Tony Brooks