As a way to reduce the number of cases of malaria, a human tropical disease, a specific DNA sequence is inserted into the reproductive cells of Anopheles mosquitoes. Which process was most likely used to alter these mosquitoes?