Long-term consequences of the right ventricular pacing mania of the 1990s for obstructive hypertrophic cardiomyopathy.