Deriving the inflaton in compactified M-theory with a de Sitter vacuum