CREATE TABLE table_name_12 (margin_of_victory VARCHAR2, runner_s__up VARCHAR2)

What was the margin of victory for Isao Aoki when he was a runner-up?
SELECT margin_of_victory FROM table_name_12 WHERE runner_s__up = "isao aoki"
SELECT "margin_of_victory" FROM "table_name_12" WHERE "isao aoki" = "runner_s__up"