The best option for xlsx to wk4 conversion would be to first export the XLSX spreadsheet to CSV and then import the .csv file to some previous versions of spreadsheet programs that still support the WK4 format from Lotus 1-2-3. Some free office suites might be suitable for this or you can find older versions of commercial software on abandonware websites or torrents.
Open XLSX file Open WK4 file