CREATE TABLE table_name_60 (time_retired VARCHAR(255), driver VARCHAR(255))
What is the time/retired for alain prost?
    
SQL: SELECT time_retired FROM table_name_60 WHERE driver = "alain prost"