Case report: Consumption of psilocybin-containing mushrooms results in amelioration of OCD symptoms PsyPost