"When used herein, the term ???pleuromutilins??? includes pleuromutilin (compound of formula (1) as defined above) and pleuromutilin-related compounds such as, for example, pleuromutilin esters such as pleuromutilin 22-acetate or esters of fatty acids, mutilin, or mutilin 14-acetate." . . . .