Optically pumped hydrogen fluoride laser