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 horário da luta com um resultado de vitória, um tipo de tko, e Carlos Molina como o oponente?
 ###Tabelas: CREATE TABLE singles:_15_10–5 (singles:_15_10–5_id AUTO_INCREMENT PRIMARY KEY, Outcome VARCHAR, Date VARCHAR, Tournament VARCHAR, Surface VARCHAR, Opponent VARCHAR, Score VARCHAR) CREATE TABLE po_prostu_taniec_just_dance! (po_prostu_taniec_just_dance!_id AUTO_INCREMENT PRIMARY KEY, Team VARCHAR, Dance VARCHAR, Music VARCHAR, Points jury VARCHAR, Place VARCHAR) CREATE TABLE by_seasons_and_teams (by_seasons_and_teams_id AUTO_INCREMENT PRIMARY KEY, Season INT, Class VARCHAR, Team VARCHAR, Motorcycle VARCHAR, Type VARCHAR, Races INT, Wins INT, Podiums INT, Poles INT, Fastest Laps INT, Pts VARCHAR, Position VARCHAR) CREATE TABLE professional_boxing_record (professional_boxing_record_id AUTO_INCREMENT PRIMARY KEY, Res. VARCHAR, Record VARCHAR, Opponent VARCHAR, Type VARCHAR, Rd., Time VARCHAR, Date VARCHAR) CREATE TABLE junior_under-20_men (junior_under-20_men_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Fastest time (s) INT, Wind (m/s) INT, Athlete VARCHAR, Country VARCHAR, Date VARCHAR, Location VARCHAR)  
SELECT Rd., Time FROM professional_boxing_record WHERE Res. = win AND Type = tko AND Opponent = carlos molina