What would the mRNA codon be if DNA was ATC?