Mice were anesthetized with ethyl ether.