Compounds of formula ##STR00001## as well as pharmaceutically acceptable salts and esters thereof, wherein R.sup.1 to R.sup.4 have the significance given in claim 1 can be used in the form of pharmaceutical compositions.