ProLogium files F-4 with SEC for $250M minimum cash de-SPAC