Properly discontinuous isometric actions on the unit sphere of infinite dimensional Hilbert spaces