[An autopsy case of primary biliary cirrhosis with giant splenic infarction].