Update and rename ReadNCharactersByRead4_2.cc to ReadNCharactersGivenRead4_2.cc