PCR products were sequenced using the BigDye sequencing reagents.