An Itô's type formula for the fractional Brownian motion in Brownian time