For races with an average speed of 113.835 mph, what are the winning race times?
CREATE TABLE "table1_17801022_1" (
  "year" real,
  "date" text,
  "driver" text,
  "manufacturer" text,
  "laps" real,
  "miles_km" text,
  "race_time" text,
  "average_speed_mph" text
);
SELECT "race_time" FROM "table1_17801022_1" WHERE "average_speed_mph"='113.835';