Asynchronous Stochastic Proximal Optimization Algorithms with Variance Reduction