Ricciardi Angelo, Voce per Il Dizionario Biografico degli Italiani