PCR products were verified by automated sequencing.