AFAIK, the X257 DRAMs are electrically- and pin-compatible with the X256 parts. An 81257 is (most likely) Hitachi's version of the 41257, with the latter being a CMOS version of the NMOS 41256. I can't say for certain, however, but that's my best guess.