Regularization by denoising: Bayesian model and Langevin-within-split Gibbs sampling | Synapse