Exploring Disco, Progressive House, and HDCDs