Rugantino — musical comedy by Pietro Garinei and Sandro Giovannini