Diccionario Histórico Biográfico).