Higher derivative SVT theories from Kaluza-Klein reductions of Horndeski theory - S. Mironov; A. Shtennikova; M. Valencia-Villegas (2024)