Formal synthesis of the ACE inhibitor benazepril x HCl via an asymmetric aza-Michael reaction.