What was the Result of the game after Week 4 with a Time of 5:15 p.m. and a Record of 4–7?
CREATE TABLE "regular_season" (
  "week" real,
  "date" text,
  "time" text,
  "opponent" text,
  "result" text,
  "game_site" text,
  "nfl_recap" text,
  "record" text
);
SELECT "result" FROM "regular_season" WHERE "week">4 AND "time"='5:15 p.m.' AND "record"='4–7';