Diarmait mac Ruadrach, king of Airthir Liphi