正式名称は2012 formula 1 united states grand prix。