Discovery of novel inhibitors of bacterial biofilm formation targeting enzymes involved in the metabolism of the second messenger cyclic-di-GMP