Four die in FARC attack on police patrol