Иван Ефремов, Туманность Андромеды, 1957 год