I am assuming that if you measure the hyperfine splitting you can also measure the fine splitting, which gives access to J. For atom 1, knowing I_1, µ_1, a_1, gives acces to calculating the BJ for the particular J. Given all this, is you measure a_2, the only unknown in that equation is now µ_2, which can then be extracted.