New species of myrmecophilous Hymenoptera - Proctotrypoidea.