Contraction of the spleen following needle puncture: significance in studies of portal hypertension.