Radio-frequency Stark tuning of optically pumped far-infrared lasers.