Formula 1 world championship leader 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 under yellow flags during Saturday's qualifying session.