Bayesian estimation of a decreasing density