Nonsuppurative gas formation in the spleen after transcatheter splenic infarction.