I found it! Thank you! Looks like it should work! Also found tea tree oil cheap online. I don’t have time this year as I’m overwhelmed with other stuff but will be stocked up for next year. And saved the recipe.
Clove oil is most likely a good one also, and will kill or greatly deter spider mites and other pests as well, but the dosage is really really tricky. Too much will kill your plants, and it doesn’t take much at all. Much less than TT oil. I use it diluted for mold remediation in walls.