Leader of FARC’s 20th Front demobilizes