I had a similar issue with the AmigaKit ATX power supply adapter for the 4000. I tried it with a 500W ATX PC power supply and literally saw smoke. Was going to try a lower power supply ( may be 300W) and see what happens, but they are hard to find now..
Maybe someone from AmigaKit can give some suggestions.