Bayesian prognostic covariate adjustment