you are doing it wrong. encounter is not the place for doing this, synthesis is. still, if somehow there is a reason for doing this at this point (there isn't, by the way), you can open the netlist in a text editor and search and replace the name of each cell.
alternatively you can code a 'search and replace' in TCL and run it from encounter. again, this is pointless.
set_dont_use works, your understanding of it is incorrect. encounter will optimize your netlist as it goes on about it. each time a cell has to be replaced to optimize something, he picks one cell from HVT. it doesn't mean he will replace all SVTs like you expect.