Well, I've got a folder that contains every single midi sounds from the game. I did not extract them myself rather someone on the VGMusic website did I believe. However, I've been working on deleting the unnecessary "sound effects" from there and have only renamed a few to their proper theme names. I could upload the whole folder and/or the themes I have distinguished which are battle themes anyhow (I'm a bit biased for my distaste of route/town themes~). Or you could just use VGTrans to grab the songs yourself, it's a free program as well. That is how these files were extracted that I have currently.

Are there any particular songs you're looking for, by chance?

Well I'm looking for the following:

1.) Team Rocket Battle

2.) Johto Trainer battle

3.) Kanto Trainer Battle

4.) Kanto Gym Leader Battle

5.) Sprout Tower