Как заменить символы, отличные от ASCII, в строке в PHP?