Bento Rodrigues, na região de Mariana