브라질 그랑프리 - 오토 레이싱, 포뮬러1