A very good reference for various forms of AC is the book Howard, Rubin: *Consequences of the Axiom of Choice*, AMS, 1998. (See [AMS website](http://www.ams.org/publications/authors/books/postpub/surv-59) or [Google Books](https://books.google.com/books?id=ffXxBwAAQBAJ).)  This book contains a large database of various consequence of choice and tables showing relations between them.

There is also [a website](http://consequences.emich.edu/conseq.htm) where you can search for relations between various forms mentioned in this book.

In this book we can find:

> **FORM 142.** $\neg$PB: There is a set of reals without the property of Baire. Jech [1973b] p 7 and note 28.
>
> **FORM 222.** There is a non-principal measure on $\mathcal P(\omega)$. Pincus/Solovay [1977] and note 147.

Then in [the table](https://books.google.com/books?id=ffXxBwAAQBAJ&pg=PA319) which shows implications between various forms we find:

> 222 142 (1) Pincus [1972c]<br>
> 142 222 (3) Pincus [1972c]

(1) = "The implication is provable."<br>
(3) = "The implication is not provable in ZF".

The reference given there is:

> [1972c] D. Pincus: The strength of the Hahn-Banach theorem, Proc. of the Victoria Symp. on Nonstandard Analysis, Lecture Notes in Math. 369, Springer, Heidelberg, 1973, 203-248. DOI: [10.1007/BFb0066014](http://dx.doi.org/10.1007/BFb0066014).

D. Pincus writes there that this implication *"is due to Solovay. It is stated without proof in [20]. Since it may interest readers of this paper we include our own proof at the end of §I."* Where [20] is R. M. Solovay, *A model of set theory in which every set of reals is Lesbague measurable*, Ann. of Math. 92 (1970), pp. 1-58; DOI: [10.2307/1970696](http://dx.doi.org/10.2307/1970696).

A proof given there seems to be similar to the proof sketched (very briefly) [in this comment](http://mathoverflow.net/questions/95954/how-to-construct-a-continuous-finite-additive-measure-on-the-natural-numbers#comment246140_95959).