what is the recommended dose of amoxicillin for diverticulitis