John Williams winning Best Original Score for "Jaws"