Homem, 74 anos, com insuficiência cardíaca congestiva (classe II NYHA) e doença renal crônica (TFG 30 mL/min), foi recentemente diagnosticado com fibrilação atrial paroxística. Qual dos seguintes anticoagulantes orais é a escolha mais apropriada para esse paciente, considerando sua função renal?