Baby bok choy in garlic sauce