Fisher Price YMCA

Through eBay I recently ordered a box of miscellaneous Fisher Price Adventure People. Most of the ones I received were the ones I was hoping for, but down in the bottom of the box were these three guys:

I assume they were also made by Fisher Price, but I haven’t been able to find the exact set they came from. In this configuration, they kind of look like they’re doing the YMCA!