F1 Gran Premio de Hungría 2023: Red Bull logra récord histórico con su duodécima victoria consecutiva