Ar-ion-laser-pumped infrared dye laser at 875-1084 nm.