Uniqueness of the Diff^+(S^1) symmetry for local nets of von Neumann algebras