Instruct: What is the time/retired for alain prost?
Output: SELECT Time/Retired FROM table WHERE Driver = alain prost