Optimal Stopping of a Hilbert Space valued Diffusion: an Infinite Dimensional Variational Inequality