Regimen verification phase V1: Shortest efficacious regimen (n = 12) against placebo (n = 6) V2: Maximum regimen (n = 12) against placebo (n = 6) P1: Placebo for V1 group (n=6) P2 Placebo for V2 group (n=6)