CREATE TABLE table_58308 ("Driver" TEXT, "Constructor" TEXT, "Laps" FLOAT, "Time/Retired" TEXT, "Grid" FLOAT)

What is the time/retired for alain prost?
SELECT "Time/Retired" FROM table_58308 WHERE "Driver" = 'alain prost'
SELECT "Time/Retired" FROM "table_58308" WHERE "Driver" = 'alain prost'