In detailing the rule of thumb is to always start with the least aggressive method and then work your way up.
Try this first and if that doesn't work I would recommend by using a proper upholstery cleaner and go at it by hand. If you want to skip all the steps go towards the option recommended above.
https://www.amazon.com/Meguiars-Whol.../dp/B00G49DVGG