What sequence of DNA bases bonds with the DNA base sequence ATGT?