The present invention relates to compounds of formula I and their pharmaceutically acceptable salts wherein formula I is: