WEAK CONVERGENCE OF A BAYESIAN NONPARAMETRIC ESTIMATOR OF THE SURVIVAL FUNCTION UNDER PROGRESSIVE CENSORING