Príncipe Pío Pío is a restaurant.