I'm partial to Dylan Thurston's proof in his [Ph.D thesis.][1] He proves the Duflo isomorphism (which is stronger than PBW) in a graphical/knot-theoretic context. The paper is a real pleasure to read.


  [1]: https://arxiv.org/abs/math.QA/0006083