FARC guerrillas demobilized after clash with army