Paciente HIV +, diagnosticado em 1999, veio para consulta de rotina sem queixas. Já fez uso de vários esquemas antirretrovirais e atualmente está em uso de tenofovir/lamivudina 300-300mg 1x ao dia, darunavir 800mg 1x ao dia e ritonavir 100mg 1x ao dia. A última contagem de linfócitos T CD4 era 1200 células/mm3, e a carga viral do HIV era indetectável. Apesar da obesidade leve e hipertensão arterial, os exames laboratoriais de rotina eram normais, exceto VDRL, que mostrou título 1/64. Nesse caso, a conduta mais apropriada é: