Let $G$ be a group
generated by $a_0, a_1, a_2$ with relations:

$a_0 a_1 a_0^{-1}=a_1^4$


$a_1 a_2 a_1^{-1}=a_2^4$


$a_2 a_0 a_2^{-1}=a_0^4$

I am wondering if $BS(1,4)=$<$a,b:bab^{-1}=a^4$> is embedded into G via $a\mapsto a_1$, $b\mapsto a_0$


Remark: the group is constructed in analogy to Higman group