Working from this PDF on theretroweb.com and this PS/2 pinout description, today I managed to make a cable letting me plug a PS/2 mouse into the headers on the motherboard of my beige box. The impetus was that I'd gotten Windows 3.11 installed and had no USB drivers for it, nor did I turn up any when I searched.