What's rarer than post-vaccine myocarditis in teen boys?