Sequence and specificity of two antibacterial proteins involved in insect immunity