The portion of the adult brain that includes the cerebral peduncles, superior colliculi, and inferior colliculi is derived from which secondary brain vesicle?