Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual fórmula teve um piloto chamado John Moore-Brabazon?
 ###Tabelas: CREATE TABLE republican_primary (republican_primary_id AUTO_INCREMENT PRIMARY KEY, Poll source VARCHAR, Dates administered VARCHAR, John Oxendine VARCHAR, Karen Handel VARCHAR, Nathan Deal VARCHAR, Eric Johnson VARCHAR, Ray McBerry VARCHAR, Undecided VARCHAR) CREATE TABLE gains_holds_and_losses (gains_holds_and_losses_id AUTO_INCREMENT PRIMARY KEY, Party VARCHAR, Seats (dissol.) INT, Seats (2012) INT, Gains INT, Holds INT, Losses INT, Net change VARCHAR) CREATE TABLE winners_of_the_circuit_des_ardennes (winners_of_the_circuit_des_ardennes_id AUTO_INCREMENT PRIMARY KEY, Year INT, Formula VARCHAR, Driver VARCHAR, Constructor VARCHAR, Location VARCHAR, Report VARCHAR) CREATE TABLE by_council (by_council_id AUTO_INCREMENT PRIMARY KEY, Council VARCHAR, TUV INT, Democratic Unionist INT, Ulster Unionist INT, Alliance INT, SDLP INT, Sinn Féin INT, Green (NI) INT, Independent INT, Others VARCHAR, Total INT) CREATE TABLE chessmetrics (chessmetrics_id AUTO_INCREMENT PRIMARY KEY, Rank INT, 1-year peak VARCHAR, 5-year peak VARCHAR, 10-year peak VARCHAR, 15-year peak VARCHAR, 20-year peak VARCHAR)  
SELECT Formula FROM winners_of_the_circuit_des_ardennes WHERE Driver = john moore-brabazon