A stochastic feynman-kac formula for anticipating spde's, and application to nonlinear smoothing