The present invention provides a compound of the formula: <CHEM> process for their production, pharmaceutical compositions containing them and their pharmaceutical uses, and intermediates useful for their production and processes for the production of such intermediates.