Lego Batman Disco Theme

[Asteroid]

Would anyone here happen to know where the disco theme that appears in levels like the nightclub in killermoth's level originates from?

In addition to this, would you guys also know who might have created this theme, or at the very least, where I can view an official tracklist for the game that includes this song?

Thanks very much

[W i l l]

https://youtu.be/_3cUGWsVc2U