Tetracyclic quinazolinone derivatives