Qual dos seguintes anticoagulantes possui o melhor nível de evidência para ser utilizado em paciente renal crônico em hemodiálise, com fibrilação atrial?