Converts a 13 digit ISBN number to ISBN-10