The velocity dispersion function of red galaxies in four Frontier Fields galaxy clusters Hubble | Synapse