Аркадий и Борис Стругацкие, "Жук в муравейнике"