The clustering of hot and cold IRAS galaxies: the redshift-space correlation function