Robert Diabeł (opera)