Antanas Mockus y FARC