Yep. He beat him in the 96' Olympics on his way to gold at 178. Both he and Leon won gold at Lightheavyweight.
I remember watching this fight live. I thought for sure Antonio was going to win. He was completely gassed at the end.