바레인 그랑프리 2023 - 오토 레이싱, 포뮬러1