Optimal Stopping of a Hilbert Space Valued Diffusion: An Infinite Dimensional Variational Inequality