Hamilton übernimmt bei Ocon-Sieg in Ungarn WM-Spitze