Systolic murmur over carotid arteries is characteristic for: