Brownian motion on compact groups in infinite dimension