2 Years and no clarification :S Note that it is a regular expression, Using:
/^(F|f)rom: *mike*@gmail.com/
won't work because you are thinking of * as a wildcard, regex uses * to match preceding character 0 or more times, the dot (.) is used to match any character, so the regex to match fsdghfsdjmike84329@gmail.com should be something like
/^(F|f)rom: .*mike.*@gmail.com/