Pathwise uniqueness for a class of SDE in Hilbert spaces and applications