下肢静脉血栓形成后首选抗凝剂是肝素。