A Proximal Algorithm for Sampling