Radio-loud active galactic nuclei at high redshifts and the cosmic microwave background