Bayesian Prognostic Covariate Adjustment With Additive Mixture Priors