Cerebral infarction and familial protein S deficiency.