A child had an aortic stenosis defect surgically repaired 5 months ago. Which antibiotic prophylaxis is indicated for an upcoming tonsillectomy?