Increase of serum high-density lipoprotein in phenytoin users.