Olimpiade Tokyo : Anthony Ginting menang atas Gergely Krausz