López y Mockus se van con Petro