Formula 1 championship leader Andrea Kimi Antonelli has been demoted to seventh on the grid for the Hungarian Grand Prix after receiving a three-place grid penalty for failing to slow sufficiently for yellow flags during Saturday's qualifying session.