That's the only one I can think of right now.
Maybe it's among these titles? https://www.abandonwaredos.com/abandonware-list.php?tp=1&kword=402
If not you should probably try asking /r/tipofmyjoystick