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