Increasing the efficiency of randomized trial estimates via linear adjustment for a prognostic score