Uniqueness of Dirichlet Forms Related to Infinite Systems of Interacting Brownian Motions