When charles bateman michael lyons is the gt3 winner and donington park is the circuit who is the gt4 winner?
CREATE TABLE table_31477 (
    "Round" real,
    "Circuit" text,
    "Date" text,
    "Length" text,
    "Pole Position" text,
    "GT3 Winner" text,
    "GT4 Winner" text
)
SELECT "GT4 Winner" FROM table_31477 WHERE "Circuit" = 'Donington Park' AND "GT3 Winner" = 'Charles Bateman Michael Lyons'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: When charles bateman michael lyons is the gt3 winner and donington park is the circuit who is the gt4 winner? ### Input: CREATE TABLE table_31477 (
    "Round" real,
    "Circuit" text,
    "Date" text,
    "Length" text,
    "Pole Position" text,
    "GT3 Winner" text,
    "GT4 Winner" text
) ### Response: SELECT "GT4 Winner" FROM table_31477 WHERE "Circuit" = 'Donington Park' AND "GT3 Winner" = 'Charles Bateman Michael Lyons'