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