description of characters of irreducible representations of compact Lie groups in terms of their highest weights