Alfredo, Alfredo (1973)/Muppets