, R0, R00, R00, and R00 are as in the Summary of the Invention; and their pharmaceutically acceptable salts. More preferred compounds of this invention are compounds of formula V  where: Axe0x00x00B is xe0x00x00CHRXxe0x00x00CHRXxe0x00x00