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 é o tempo de aposentadoria de Alain Prost?
 ###Tabelas: CREATE TABLE judges (judges_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, City/State VARCHAR, Country VARCHAR, Status VARCHAR, Status Date VARCHAR, Episode Number VARCHAR) CREATE TABLE race (race_id AUTO_INCREMENT PRIMARY KEY, Driver VARCHAR, Constructor VARCHAR, Laps INT, Time/Retired VARCHAR, Grid INT) CREATE TABLE 2_lyga_zone_north (2_lyga_zone_north_id AUTO_INCREMENT PRIMARY KEY, Position INT, Club VARCHAR, Games played INT, Wins INT, Draws INT, Loses INT, Goals scored INT, Goals conceded INT, Points INT) CREATE TABLE writing (writing_id AUTO_INCREMENT PRIMARY KEY, gzip VARCHAR, bzip2 VARCHAR, LHA/LZH VARCHAR, StuffIt VARCHAR, StuffIt X VARCHAR, ISO/CD Image VARCHAR) CREATE TABLE expansion_draft_selections (expansion_draft_selections_id AUTO_INCREMENT PRIMARY KEY, Pick INT, Player VARCHAR, Nationality VARCHAR, New WNBA Team VARCHAR, Former WNBA Team VARCHAR, College/Country/Team VARCHAR)  
SELECT Time/Retired FROM race WHERE Driver = alain prost