El Estado Islámico mata a cuatro miembros del personal de seguridad en Siria: agencia estatal de noticias