Герои Социалистического труда Михаил, Порфирий и Николай делали это как поодиночке, так и втроем. Действительными членами какой академии они стали под общим псевдонимом?