diccionario biográfico español de la real academia de la historia