Federico Marín se incorporó a Peñarol