Ефремов Иван Антонович. Большая российская энциклопедия