I also favour the analytical/exact solution, but this might work, too, and evaluates practically instantaneously.
t = 0.8 - (x/4000);
p = Binomial[10000, 5000] t^5000 (1 - t)^(5000);
intp = NIntegrate[p, {x, 0, 1}, WorkingPrecision -> 10];
b = p/intp; Plot[{b}, {x, 0, 1}, PlotLegends -> Automatic]

Note that
NIntegrate[b, {x, 0, 1}]
gives 1.
Cheers,
Marco