Um paciente de 23 anos refere ter Transtorno do Humor Bipolar, e que está estável com anticonvulsivantes e antipsicóticos. Entretanto, ainda faz uso de cocaína nos finais de semana e pede ajuda para parar. Qual das medicações abaixo apresenta maior nível de evidência para tratamento do dependente de cocaína?