Diccionario de Historia de España (Revista de Occidente, 1952)