First efficient synthesis of enantiopure homoketopinic acid