Engineering Of Programmable Anti-Infective Gene Circuits In Mammalian Cells