The present invention provides a compound of the formula:
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.