Four FARC guerrillas killed in army operation