conversion from ACGT --> 0123