¿Qué musical estrenaron José Sacristán y Paloma San Basilio tras "El hombre de La Mancha"?