Иван Антонович Ефремов. Туманность Андромеды